1. Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings

by Anderson, Stuart | Felici, Massimo | Littlewood, Bev.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
2. Information and Communications Security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : Proceedings

by Qing, Sihan | Gollmann, Dieter | Zhou, Jianying.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 QIN] (1).
3. Information Security : 6th International Conference, ISC 2003, Bristol, UK, October 1-3, 2003 : Proceedings

by Boyd, Colin | Mao, Wenbo.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BOY] (1).
4. Document analysis systems VI : 6th international workshop, DAS 2004, Florence, Italy, September 8-10, 2004 : proceedings

by Marinai, Simone | Dengel, Andreas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 MAR] (1).
5. Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings

by Wang, Farn.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 WAN] (1).
6. Software Process Improvement : 11th European Conference, Euro SPI 2004 Trodheim, Norway, november 2004 proceedings

by Dingsoyr, Torgeir.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 DIN] (1).
7. Computational linguistics and intelligent text processing : sixth international conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005 ; proceedings

by Gelbukh, Alexander.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 GEL] (1).
8. Network analysis : methodological foundations

by Brandes, Ulrik | Erlebach, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2005Availability: Items available for loan: [Call number: 004 BRA] (1).
9. Quality of Service - IWQoS 2003: 11th International Workshop Berkeley, CA, USA, June 2-4, 2003 proceedings

by Jeffay, Kevin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 JEF] (1).
10. Parallel computing technologies: 7th International conference, PaCT 2003 Nizhni Novgorod, Russia, September 15-19, 2003: Proceedings

by Malyshkin, Victor.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 MAL] (1).
11. Computer Analysis of Images and Patterns: 10th International conference, CAIP 2003 Groningen, The Netherlands, August 25-27, 2003: Proceedings

by Petkov, Nicolai | Westenberg, Michael A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 PET] (1).
12. Advances in Intelligent Data Analysis V: 5th International Symposium on Intelligent Data Analysis, IDA 2003: Proceedings

by Berthold, Michael R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BER] (1).
13. Web Engineering : Managing Diversity and Complexity of Web Application Development

by Murugesan, San | Deshpande, Yogesh.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 MUR] (1).
14. Security Protocols : 8th International Workshops Cambridge, UK, April 3-5, 2000 revised papers

by Christianson, Bruce.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004 CHR] (1).
15. Algorithms in Bioinformatics

by Guigo, Roderic | Guigo, Roderic | Guigo, Roderic | Gusfield, Dan | Gusfield, Dan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 GUI] (1).
16. Group theoretical methods in image processing

by Lenz, Reiner.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1990Availability: Items available for loan: [Call number: 004 LEN] (1).
17. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings

by Mayr, Ernst W | Puech, Claude.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1995Availability: Items available for loan: [Call number: 004 MAY] (1).
18. Disconnected operation in a distributed file system

by Kistler, James Jay.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 1996Availability: Items available for loan: [Call number: 004 KIS] (1).
19. Energy Minimization Methods in Computer Vision and Pattern Recognition : 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015, Proceedings

by Tai, Xue-Cheng.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Switzerland: Springer, 2015Availability: Items available for loan: [Call number: 004 TAI] (1).
20. Pattern Recognition and Image Analysis : Second Iberian Conference, IBPRIA 2005, Estoril, Portugal, June 7-9, 2005, proceedings, part I

by Marques, Jorge S | Blanca, Nicolas Perez de la | Pina, Pedro.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 MAR] (1).

Powered by Koha